Transmission Failure, AGM Style
نویسندگان
چکیده
منابع مشابه
Ranking Functions, AGM Style
Ranking functions, having their first appearance under the name „ordinale Konditionalfunktionen“ in my Habilitationsschrift submitted in 1983, had several precursors of which I was only incompletely aware, among them Shackle’s functions of potential surprise (see Shackle 1969), Rescher’s plausibility indexing (see Rescher 1976), Adams’ ε-semantics (see Adams 1975), Cohen’s inductive probabiliti...
متن کاملAGM-Style Revision of Beliefs and Intentions
We introduce a logic for temporal beliefs and intentions based on Shoham’s database perspective and we formalize his coherence conditions on beliefs and intentions. In order to do this we separate strong beliefs from weak beliefs. Strong beliefs are independent from intentions, while weak beliefs are obtained by adding intentions to strong beliefs and everything that follows from that. We provi...
متن کاملAGM-Style Belief Revision of Logic Programs under Answer Set Semantics
In the past few years, several approaches for revision (and update) of logic programs have been studied. None of these however matched the generality and elegance of the original AGM approach to revision in classical logic. One particular obstacle is the underlying nonmonotonicity of the semantics of logic programs. Recently however, specific revision operators based on the monotonic concept of...
متن کاملAGM-Style Revision of Beliefs and Intentions from a Database Perspective (Preliminary Version)
We introduce a logic for temporal beliefs and intentions based on Shoham’s database perspective. We separate strong beliefs from weak beliefs. Strong beliefs are independent from intentions, while weak beliefs are obtained by adding intentions to strong beliefs and everything that follows from that. We formalize coherence conditions on strong beliefs and intentions. We provide AGMstyle postulat...
متن کاملReconsidering AGM-Style Belief Revision in the Context of Logic Programs
Belief revision has been studied mainly with respect to background logics that are monotonic in character. In this paper we study belief revision when the underlying logic is non-monotonic instead— an inherently interesting problem that is under explored. In particular, we will focus on the revision of a body of beliefs that is represented as a logic program under the answer set semantics, whil...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Erkenntnis
سال: 2012
ISSN: 0165-0106,1572-8420
DOI: 10.1007/s10670-012-9364-9